It is clear that achieving 100 % statement coverage does not ensure a correct program 代码覆盖有多种,语句覆盖是最基本的,条件判断覆盖会强一些。
An efficient evaluation and vector generation method for observability - enhanced statement coverage 基于可观测性语句覆盖准则的评估分析与激励生成方法
There are types of coverage that point more directly to design mistakes than statement coverage does ( branch coverage , for example ) 还有几类覆盖率,比语句覆盖率更直接地指向设计错误(例如分支覆盖率) 。
Codetest also provides statement coverage measurements and produces documentation to validate that every statement in the program has been invoked at least once 还提供语句覆盖测量,并生成验证程序中每条语句至少被调用一次的文件。